More from this Author

Introduction to Higher-Order Categorical Logic

by J. Lambek, P. J. Scott, B. Bollobas (Contribution by), W. Fulton (Contribution by), A. Katok (Contribution by), F. Kirwan (Contribution by), P. Sarnak (Contribution by), B. Simon (Contribution by)